SEALED

open fun SEALED(): TerminalNode